Time-reversal symmetric resolution of unity without background integrals in open quantum systems

We present a new complete set of states for a class of open quantum systems, to be used in expansion of the Green's function and the time-evolution operator. A remarkable feature of the complete set is that it observes time-reversal symmetry in the sense that it contains decaying states (resonant states) and growing states (anti-resonant states) parallelly. We can thereby pinpoint the occurrence of the breaking of time-reversal symmetry at the choice of whether we solve Schroedinger equation as an initial-condition problem or a terminal-condition problem. Another feature of the complete set is that in the subspace of the central scattering area of the system, it consists of contributions of all states with point spectra but does not contain any background integrals. In computing the time evolution, we can clearly see contribution of which point spectrum produces which time dependence. In the whole infinite state space, the complete set does contain an integral but it is over unperturbed eigenstates of the environmental area of the system and hence can be calculated analytically. We demonstrate the usefulness of the complete set by computing explicitly the survival probability and the escaping probability as well as the dynamics of wave packets. The origin of each term of matrix elements is clear in our formulation, particularly the exponential decays due to the resonance poles.Comment: 62 pages, 13 figure

Prepose: privacy, security, and reliability for gesture-based programming

With the rise of sensors such as Microsoft Kinect, gesture-based interfaces have become practical. However, to recognize such gestures, applications need access to users' depth and video, exposing sensitive data about individuals and their environment. Prepose, a domain-specific language for building gesture recognizers, combined with a system architecture that protects privacy, security, and reliability with untrusted applications, addresses these threats

Program boosting: program synthesis via crowd-sourcing

In this paper, we investigate an approach to program synthesis that is based on crowd-sourcing. With the help of crowd-sourcing, we aim to capture the "wisdom of the crowds" to find good if not perfect solutions to inherently tricky programming tasks, which elude even expert developers and lack an easy-to-formalize specification. We propose an approach we call program boosting, which involves crowd-sourcing imperfect solutions to a difficult programming problem from developers and then blending these programs together in a way that improves their correctness. We implement this approach in a system called CROWDBOOST and show in our experiments that interesting and highly non-trivial tasks such as writing regular expressions for URLs or email addresses can be effectively crowd-sourced. We demonstrate that carefully blending the crowd-sourced results together consistently produces a boost, yielding results that are better than any of the starting programs. Our experiments on 465 program pairs show consistent boosts in accuracy and demonstrate that program boosting can be performed at a relatively modest monetary cost

Study on occurrence of the IVS8-5T allele of the CFTR gene in Ukrainian males with spermatogenesis failure

Aim. To study the IVS8-5T allele of the CFTR gene and it is involvement in spermatogenesis failure in men with azoospermia and oligozoospermia. Methods. The IVS8-nT polymorphism was analyzed by PCR followed by «A.L.F.-express» fragment analysis in the infertile men group, consisting of 113 azoospermic and 217 oligozoospermic patients, and the control group of 150 fertile men with proven paternity. Results. The frequency of the IVS8-5T allele among infertile males was higher than in controls. A statistically significant difference (P < 0.05) was observed in the frequencies of the IVS8-5T allele in azoospermia patients (5.3 %) when compared with the control group (2.0 %). Conclusions. The IVS8-5T allele of the CFTR gene contributes to spermatogenesis failure and/or sperm maturation

Annual Thermodynamic Analysis of Solar Power with Steam Injection Gas Turbine (STIG) Cycle for Indian Conditions

AbstractSolar thermal energy is now being widely utilized to meet the world's energy demand due to its huge potential. Power generation from solar is varying and high cost of solar thermal energy systems that makes sense only in regions with high solar insolation. In order to overcome these practical issues, low cost solar hybrid steam injection gas turbine (STIG) cycle is adapted. Both gas turbine exhaust stream and solar heat are used for steam generation, and then it is injected into the combustor. The steam injection reduces NOX and CO2 emission in addition to increased power output and plant efficiency compared to the simple cycle. It offers a path for high conversion efficiency without the requirement of operating at high temperature and high pressure in the solar components. The objective of the proposed work is to investigate a conversion method for solar radiation that offers potentially high conversion efficiency and for increased competitiveness against fossil fuels. The annual performance of the cycle for sites in India with local climatic conditions such as ambient temperature, relative humidity and availability of direct normal irradiance to the solar concentrators under two modes of constant and variable power is presented in this paper. The results reveal that the solar to electricity efficiency of solar hybrid STIG plant with a simple Parabolic Trough Collector (PTC) is similar to existing solar thermal technologies and higher solar share is obtained. The study also reveals that the annual CO2 emission is similar to combined cycle plants and lower than gas turbine technologies

Sawja: Static Analysis Workshop for Java

Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a realistic language such as Java. This paper describes the Sawja library: a static analysis framework fully compliant with Java 6 which provides OCaml modules for efficiently manipulating Java bytecode programs. We present the main features of the library, including (i) efficient functional data-structures for representing program with implicit sharing and lazy parsing, (ii) an intermediate stack-less representation, and (iii) fast computation and manipulation of complete programs

Superpotentials from variational derivatives rather than Lagrangians in relativistic theories of gravity

The prescription of Silva to derive superpotential equations from variational derivatives rather than from Lagrangian densities is applied to theories of gravity derived from Lovelock Lagrangians in the Palatini representation. Spacetimes are without torsion and isolated sources of gravity are minimally coupled. On a closed boundary of spacetime, the metric is given and the connection coefficients are those of Christoffel. We derive equations for the superpotentials in these conditions. The equations are easily integrated and we give the general expression for all superpotentials associated with Lovelock Lagrangians. We find, in particular, that in Einstein's theory, in any number of dimensions, the superpotential, valid at spatial and at null infinity, is that of Katz, Bicak and Lynden-Bell, the KBL superpotential. We also give explicitly the superpotential for Gauss-Bonnet theories of gravity. Finally, we find a simple expression for the superpotential of Einstein-Gauss-Bonnet theories with an anti-de Sitter background: it is minus the KBL superpotential, confirming, as it should, the calculation of the total mass-energy of spacetime at spatial infinity by Deser and Tekin.Comment: Scheduled to appear in Class. Quantum Grav. August 200